#include <stdarg.h>
#include <console.h>
#include <printk.h>
#include <stdio.h>

static char buf[PRINT_BUF_LENGTH];

int printk(const char *fmt, ...)
{
    va_list args;
    va_start(args, fmt);
    int i = vsprintf(buf, fmt, args);
    va_end(args);
    ConsoleWrite(buf, i);
    return i;
}
